FUN1 uint256 NULL 1 0 NULL OVERLIMIT
VAR0 FUN1 3 FOR BOOL
